Optimal. Leaf size=58 \[ b \sqrt {a+b x^3}-\frac {\left (a+b x^3\right )^{3/2}}{3 x^3}-\sqrt {a} b \tanh ^{-1}\left (\frac {\sqrt {a+b x^3}}{\sqrt {a}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 58, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {272, 43, 52, 65,
214} \begin {gather*} -\frac {\left (a+b x^3\right )^{3/2}}{3 x^3}+b \sqrt {a+b x^3}-\sqrt {a} b \tanh ^{-1}\left (\frac {\sqrt {a+b x^3}}{\sqrt {a}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 52
Rule 65
Rule 214
Rule 272
Rubi steps
\begin {align*} \int \frac {\left (a+b x^3\right )^{3/2}}{x^4} \, dx &=\frac {1}{3} \text {Subst}\left (\int \frac {(a+b x)^{3/2}}{x^2} \, dx,x,x^3\right )\\ &=-\frac {\left (a+b x^3\right )^{3/2}}{3 x^3}+\frac {1}{2} b \text {Subst}\left (\int \frac {\sqrt {a+b x}}{x} \, dx,x,x^3\right )\\ &=b \sqrt {a+b x^3}-\frac {\left (a+b x^3\right )^{3/2}}{3 x^3}+\frac {1}{2} (a b) \text {Subst}\left (\int \frac {1}{x \sqrt {a+b x}} \, dx,x,x^3\right )\\ &=b \sqrt {a+b x^3}-\frac {\left (a+b x^3\right )^{3/2}}{3 x^3}+a \text {Subst}\left (\int \frac {1}{-\frac {a}{b}+\frac {x^2}{b}} \, dx,x,\sqrt {a+b x^3}\right )\\ &=b \sqrt {a+b x^3}-\frac {\left (a+b x^3\right )^{3/2}}{3 x^3}-\sqrt {a} b \tanh ^{-1}\left (\frac {\sqrt {a+b x^3}}{\sqrt {a}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.07, size = 55, normalized size = 0.95 \begin {gather*} \frac {\sqrt {a+b x^3} \left (-a+2 b x^3\right )}{3 x^3}-\sqrt {a} b \tanh ^{-1}\left (\frac {\sqrt {a+b x^3}}{\sqrt {a}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.15, size = 49, normalized size = 0.84
method | result | size |
default | \(-\frac {a \sqrt {b \,x^{3}+a}}{3 x^{3}}+\frac {2 b \sqrt {b \,x^{3}+a}}{3}-b \arctanh \left (\frac {\sqrt {b \,x^{3}+a}}{\sqrt {a}}\right ) \sqrt {a}\) | \(49\) |
elliptic | \(-\frac {a \sqrt {b \,x^{3}+a}}{3 x^{3}}+\frac {2 b \sqrt {b \,x^{3}+a}}{3}-b \arctanh \left (\frac {\sqrt {b \,x^{3}+a}}{\sqrt {a}}\right ) \sqrt {a}\) | \(49\) |
risch | \(-\frac {a \sqrt {b \,x^{3}+a}}{3 x^{3}}+\frac {b \left (\frac {4 \sqrt {b \,x^{3}+a}}{3}-2 \arctanh \left (\frac {\sqrt {b \,x^{3}+a}}{\sqrt {a}}\right ) \sqrt {a}\right )}{2}\) | \(51\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.51, size = 66, normalized size = 1.14 \begin {gather*} \frac {1}{2} \, \sqrt {a} b \log \left (\frac {\sqrt {b x^{3} + a} - \sqrt {a}}{\sqrt {b x^{3} + a} + \sqrt {a}}\right ) + \frac {2}{3} \, \sqrt {b x^{3} + a} b - \frac {\sqrt {b x^{3} + a} a}{3 \, x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 121, normalized size = 2.09 \begin {gather*} \left [\frac {3 \, \sqrt {a} b x^{3} \log \left (\frac {b x^{3} - 2 \, \sqrt {b x^{3} + a} \sqrt {a} + 2 \, a}{x^{3}}\right ) + 2 \, {\left (2 \, b x^{3} - a\right )} \sqrt {b x^{3} + a}}{6 \, x^{3}}, \frac {3 \, \sqrt {-a} b x^{3} \arctan \left (\frac {\sqrt {b x^{3} + a} \sqrt {-a}}{a}\right ) + {\left (2 \, b x^{3} - a\right )} \sqrt {b x^{3} + a}}{3 \, x^{3}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 100 vs.
\(2 (49) = 98\).
time = 1.30, size = 100, normalized size = 1.72 \begin {gather*} - \sqrt {a} b \operatorname {asinh}{\left (\frac {\sqrt {a}}{\sqrt {b} x^{\frac {3}{2}}} \right )} - \frac {a^{2}}{3 \sqrt {b} x^{\frac {9}{2}} \sqrt {\frac {a}{b x^{3}} + 1}} + \frac {a \sqrt {b}}{3 x^{\frac {3}{2}} \sqrt {\frac {a}{b x^{3}} + 1}} + \frac {2 b^{\frac {3}{2}} x^{\frac {3}{2}}}{3 \sqrt {\frac {a}{b x^{3}} + 1}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.78, size = 63, normalized size = 1.09 \begin {gather*} \frac {\frac {3 \, a b^{2} \arctan \left (\frac {\sqrt {b x^{3} + a}}{\sqrt {-a}}\right )}{\sqrt {-a}} + 2 \, \sqrt {b x^{3} + a} b^{2} - \frac {\sqrt {b x^{3} + a} a b}{x^{3}}}{3 \, b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.31, size = 69, normalized size = 1.19 \begin {gather*} \frac {2\,b\,\sqrt {b\,x^3+a}}{3}-\frac {a\,\sqrt {b\,x^3+a}}{3\,x^3}+\frac {\sqrt {a}\,b\,\ln \left (\frac {{\left (\sqrt {b\,x^3+a}-\sqrt {a}\right )}^3\,\left (\sqrt {b\,x^3+a}+\sqrt {a}\right )}{x^6}\right )}{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________